// Copyright (C) 2017 Nokia

:host {
  display: flex;
  flex-direction: column;
  height: 100%;
}

.execution-content {
  flex: 1;
  overflow: auto;
}

/deep/.info-panel-header {
  height: 35px;
  padding: 10px;
  line-height: 15px;
  background: #f1f1f1;
}
